$\forall$$a$, $b$:IdLnk. $a$ = $b$ $\in$ $\mathbb{B}$